Checking and spot-checking the correctness of priority queues

机译：检查并抽查优先级队列的正确性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Matthew Chu; Sampath Kannan; Andrew Mcgregor;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Optimal Spot-Checking Ratio for Probabilistic Attacks in Remote Data Checking [J] . Younsoo PARK, Jungwoo CHOI, Young-Bin KWON, IEICE transactions on information and systems . 2017,第8期

机译：远程数据检查中概率攻击的最佳抽查比率
2. Checking Linearizability of Concurrent Priority Queues [J] . Ahmed Bouajjani, Constantin Enea, Chao Wang LIPIcs : Leibniz International Proceedings in Informatics . 2017,第1期

机译：检查并发优先级队列的线性化
3. Checking Linearizability of Concurrent Priority Queues [J] . Ahmed Bouajjani, Constantin Enea, Chao Wang LIPIcs : Leibniz International Proceedings in Informatics . 2017,第29期

机译：检查并发优先级队列的线性化
4. Checking and Spot-Checking the Correctness of Priority Queues [C] . Matthew Chu, Sampath Kannan, Andrew McGregor International Colloquium on Automata, Languages and Programming(ICALP 2007); 20070709-13; Wroclaw(PL) . 2007

机译：检查和抽查优先级队列的正确性
5. On delay characteristics of dual queues with priority for the longer queue. [D] . Wieland, Frederick Paul. 2000

机译：具有较长队列优先级的双队列的延迟特性。
6. Correction: Priority Queue Based Reactive Buffer Management Policy for Delay Tolerant Network under City Based Environments [O] . Qaisar Ayub, Md Asri Ngadi, Sulma Rashid, 2019

机译：校正：城市基于城市环境下延迟容忍网络的优先级队列的无功缓冲管理策略
7. Optimal Spot-Checking Ratio for Probabilistic Attacks in Remote Data Checking [O] . Younsoo PARK, Jungwoo CHOI, Young-Bin KWON, 2017

机译：远程数据检查中概率攻击的最佳点检查率

Checking and spot-checking the correctness of priority queues

著录项

引文网络

相似文献

相关主题

期刊订阅